This unit contains in-depth coverage of specialised software engineering topics with a focus on managing quality, reliability, and safety, and the verification and validation of software-based systems. Requirements engineering and real-time system analysis using formal methods and graphical modelling languages are also presented in the context of managing project quality, safety and reliability. Specific Syllabus topics include the following:<br/>Critical systems concepts, specification, development and validation. Processes for verification and validation of software-based systems. Processes for managing safety and reliability. Strategies for improving reliability using fault tolerance... -- Course Website
Prerequisites: 8934 (v.9)<br/> Software Engineering 200<br/> <br/> or any previous version